s:QOSet, a, b:|s|. (a <s b)  ((a = b)) 

latex

Up	sets 1
Definitions of Statement	DSet, QOSet
Definitions	t  T, P  Q, x:A. B(x), x,y. t(x;y), DSet, QOSet, x(s1,s2), P & Q, P  Q,
Lemmas	qoset wf, set car wf, set lt wf, set leq wf, strict part irrefl, set lt is sp of leq